\theorembodyfont{\rmfamily}
